2

Blocks World revisited

Year:
2001
Language:
english
File:
PDF, 565 KB
english, 2001
6

Development of multiphase alloy MP159 using experimental statistics

Year:
1983
Language:
english
File:
PDF, 3.08 MB
english, 1983
7

Realism in Mathematics

Year:
1992
Language:
english
File:
PDF, 138 KB
english, 1992
14

[Lecture Notes in Computer Science] AI 2002: Advances in Artificial Intelligence Volume 2557 ||

Year:
2002
Language:
english
File:
PDF, 18.84 MB
english, 2002
16

Solution to a problem of Ono and Komori

Year:
1989
Language:
english
File:
PDF, 333 KB
english, 1989
17

A metacompleteness theorem for contraction-free relevant logics

Year:
1984
Language:
english
File:
PDF, 583 KB
english, 1984
18

Sentential constants in systems near R

Year:
1993
Language:
english
File:
PDF, 597 KB
english, 1993
19

The Ackermann constant theorem: A computer-assisted investigation

Year:
1991
Language:
english
File:
PDF, 1.01 MB
english, 1991
21

More Proofs of an Axiom of Łukasiewicz

Year:
2002
Language:
english
File:
PDF, 69 KB
english, 2002
22

INTRODUCTION

Year:
2000
Language:
english
File:
PDF, 37 KB
english, 2000
26

A general logic

Year:
1990
Language:
english
File:
PDF, 665 KB
english, 1990
29

The One-Variable Fragment of T→

Year:
2014
Language:
english
File:
PDF, 341 KB
english, 2014
33

Visualising Reasoning: What ATP Can Learn From CP

Year:
2012
Language:
english
File:
PDF, 1.16 MB
english, 2012